Nuprl Definition : xmiddle
12,41
postcript
pdf
XM ==
P
:
. Dec(
P
)
latex
clarification:
XM{i} ==
P
:
{i}. Dec(
P
)
latex
Definitions
x
:
A
.
B
(
x
)
,
,
Dec(
P
)
FDL editor aliases
xmiddle
origin
P:
. Dec(P)
P:{i}. Dec(P) P:. Dec(P)
P:{i}. Dec(P) x:A. B(x)